Linear temporal logic - PDFSEARCH.IO - Document Search Engine

Linear temporal logic
Results: 458

#	Item
421	Under consideration for publication in Math. Struct. in Comp. Science The limit-colimit coincidence theorem for Add to Reading List Source URL: tcs.uj.edu.pl Language: English - Date: 2009-10-26 10:50:27 Functor Adjoint functors Uniform space Function Yoneda lemma Continuous function Natural transformation Initial and terminal objects Linear temporal logic Mathematics Mathematical analysis Limit
422	Weak Measurements: A New Type of Quantum Measurement and its Experimental Implications. Add to Reading List Source URL: www.hep.ucl.ac.uk Language: English - Date: 2012-12-20 13:20:01 Quantum potential Wave function Uncertainty principle Probability amplitude Basil Hiley Linear temporal logic Physics Quantum mechanics Schrödinger equation
423	Modern Theory of Quantum Measurement and its Applications Akira Shimizu Department of Basic Science, University of Tokyo, Komaba Add to Reading List Source URL: as2.c.u-tokyo.ac.jp Language: English - Date: 2009-04-22 03:20:47 Linear temporal logic Temporal logic Quantum field theory
424	SPIN[removed]CAN QUANTUM MECHANICS BE RECONCILED Add to Reading List Source URL: www.staff.science.uu.nl Language: English - Date: 2011-03-24 08:13:50 Fermionic field Spinors Wave function Operator Entailment Linear temporal logic Μ operator Physics Quantum mechanics Quantum field theory
425	Model Checking II Temporal Logic Model Checking Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2009-09-27 18:25:33 Mathematics Logic in computer science Modal logic Linear temporal logic Philosophical logic CTL* Computation tree logic Kripke semantics Kripke structure Logic Temporal logic Mathematical logic
426	Temporal Logic with “Until”, Functional Reactive Programming with Processes, and Concrete Process Categories Add to Reading List Source URL: www.ioc.ee Language: English - Date: 2012-11-14 10:13:24 Mathematics Linear temporal logic Temporal logic Monad Limit Initial and terminal objects Functor Modal logic Cone Category theory Abstract algebra Adjoint functors
427	TMA4195 Mathematical modelling 2004 Add to Reading List Source URL: www.math.ntnu.no Language: English - Date: 2004-08-16 11:51:36 Dimensional analysis Physical quantity Dimensionless quantity Matrix Theoretical physics Linear temporal logic Spectral theory of ordinary differential equations Physics Measurement Buckingham π theorem
428	K-SAMPLE ANDERSON-DARLING TESTS OF FIT, FOR CONTINUOUS AND DISCRETE CASES Add to Reading List Source URL: www.stat.washington.edu Language: English - Date: 2008-03-28 14:48:52 Generalized functions Fourier analysis Order statistic Permutations Distribution Limit Convolution Linear temporal logic Mathematical analysis Functional analysis Mathematics
429	Journal of Global Optimization 24: 285309, 2002. c 2002 Kluwer Academic Publishers. Printed in the Netherlands. Add to Reading List Source URL: www.ccas.ru Language: English - Date: 2003-12-19 14:38:47 Linear algebra Operator theory Calculus of variations Vector space Pullback Linear temporal logic Algebra Mathematics Mathematical analysis
430	Resolution and Binary Decision Diagrams cannot simulate each other polynomially Jan Friso Groote1,2 Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 2000-04-06 05:36:51 Metalogic Mathematical logic Formal languages Logical connective Constructible universe Well-formed formula Function Entailment Linear temporal logic Logic Mathematics Logical syntax

UPDATE